1. Accessible categories: the foundations of categorical model theory
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M35
1989
2. Accessible categories : the foundations of categorical model theory
پدیدآورنده : Makkai, Mihaly, 9391-
کتابخانه: (طهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M25
3. First order categorical logic : model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: (طهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M3
1977
4. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
5. First order categorical logic: model-theorical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
6. Forcing and classifying topoi /
پدیدآورنده : Andrej Sčědrov
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics),Forcing (Model theory),Toposes
رده :
QA169
.
A57
no
.
295
7. Freyd's models for the independence of the axiom of choice /
پدیدآورنده : Andreas Blass and Andre Scedrov
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Axiom of choice,Forcing (Model theory),Toposes
رده :
QA248
.
A57
no
.
404
8. Model theory and topoi :a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lawvere, C. Maurer, G. C. Wraith
کتابخانه: (طهران)
موضوع : ، Model theory,، Toposes
رده :
QA
9
.
7
.
M6
1975
9. Model theory and topoi: a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lawvere, C. Maurer, and G. C. Wraith
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
no
.
445
10. Model theory and topoi: a collection of lectures by various authors
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
no
.
445
11. Model theory and topoi : a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lowvere, C. Maurer and G. C. Wraith
کتابخانه: (طهران)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
Vol
.
445